Cyber-Physical Systems: Imminent Challenges

نویسندگان

  • Manfred Broy
  • María Victoria Cengarle
  • Eva Geisberger
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Integrative Challenges of Cyber-Physical Systems Verification

Cyber-physical systems integrate cyber elements with physical elements, thereby combining the computing and physics regimes. This integration has exciting prospects as a basis for advanced systems that solve big technical, societal, economical, and ecological challenges. When designing, understanding, and analyzing these cyber-physical systems, however, we also face big integrative challenges. ...

متن کامل

Approaches to Modeling and Simulation for Dynamic, Distributed Cyber-Physical Systems

In this paper we discuss challenges and new directions in modeling and simulation for effects-based what-if and sensitivity analysis of dynamic, distributed cyber-physical systems. We are motivated on one hand by the critical need to reliably understand how mission-critical cyber-physical systems would respond to unanticipated effects, and on the other hand by the technology gap that has preven...

متن کامل

Challenges, Promising Solutions and Open Problems of Cyber- Physical Systems

Cyber physical systems(CPS) include a lot of high complexity computing such as physical aspect modeling, dynamic analysis and verification of continuous dynamic property, analysis and verification of real-time property, analysis and verification of spatial property, scheduling and non-functional requirements. The correctness of computing results of cyber physical systems not only meets the time...

متن کامل

Challenges and Solutions of Cyber-Physical Systems

Cyber physical systems(CPS) include a lot of high complexity computing such as dynamic analysis and verification of continuous dynamic property , analysis and verification of real-time property, analysis and verification of spatial property, scheduling and fault tolerance. The correctness of computing results of cyber physical systems not only meets the time requirements, but also meets the spa...

متن کامل

Challenges for Securing Cyber Physical Systems

We discuss three key challenges for securing cyberphysical systems: (1) understanding the threats, and possible consequences of attacks, (2) identifying the unique properties of cyber-physical systems and their differences from traditional IT security, and (3) discussing security mechanisms applicable to cyber-physical systems. In particular, we analyze security mechanisms for: prevention, dete...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012